首页> 外文OA文献 >Completeness for Linear Regular Negation Normal Form Inference Systems

【2h】

Completeness for Linear Regular Negation Normal Form Inference Systems

机译：线性规则否定范式推理系统的完备性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Reiner Hähnle; Neil V. Murray; Erik Rosenthal;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Non-regular feedback linearization of nonlinear systems via a normal form algorithm [J] . Daizhan Cheng, Xiaoming Hu, Yuzhen Wang Automatica . 2004,第3期

机译：通过范式算法对非线性系统进行非正规反馈线性化
2. Linearity and regularity with negation normal form [J] . Reiner Hahnle, Neil V. Murray, Erik Rosenthal Theoretical computer science . 2004,第3期

机译：否定范式的线性和规则性
3. Feedback classification of nonlinear single-input control systems with controllable linearization: Normal forms, canonical forms, and invariants [J] . Tall IA., Respondek W. SIAM Journal on Control and Optimization . 2003,第5期

机译：具有可控制线性化的非线性单输入控制系统的反馈分类：正态，规范形式和不变量
4. Entity-relationship logical design of database systems: relational normal forms and extended regular ERDs [C] . Springsteel, F.N. . 1988

机译：数据库系统的实体关系逻辑设计：关系范式和扩展的常规ERD
5. Analysis of nonlinear modal interaction and its effect on control performance in stressed power systems using normal forms method. [D] . Lin, Chih-Ming. 1995

机译：使用规范形式方法分析非线性模态相互作用及其对应力电力系统控制性能的影响。
6. Carleman linearization and normal forms for differential systems with quasi-periodic coefficients [O] . Sergey V. Chermnykh -1

机译：具有准周期系数的微分系统的Carleman线性化和范式
7. Microlocal normal forms for regular fully nonlinear two-dimensional control systems [O] . Serres, Ulysse 2010

机译：规则完全非线性二维控制系统的微局部范式
8. Complete Inference System for Regular Processes with Silent Moves [R] . Bergstra, J. A., Klop, J. W. 1984

机译：具有静音移动的常规过程的完整推理系统

Completeness for Linear Regular Negation Normal Form Inference Systems

著录项

引文网络

相似文献

相关主题

期刊订阅